Wyniki
-
Theorem Provers with Countermodels and xpe
Motohiko Mouri
Bulletin of the Section of Logic , 30 /2 (2001) s. 79-87 -
Constructing Counter-Models for Modal Logic K4 from Refutation Trees
Motohiko Mouri
Bulletin of the Section of Logic , 31 /2 (2002) s. 81-90 -
Natural deduction systems for some non-commutative logics
Norihiro Kamide, Motohiko Mouri
Logic and Logical Philosophy , 16 /2-3 (2007) s. 105-146